Computational thinking for beginners: A successful experience using Prolog
نویسندگان
چکیده
We discuss a logic-based methodology that we adopted to teach basic concepts of programming to high school students with a scientific profile and very basic knowledge of computer science. For our experiments we combined lectures on inductive reasoning with Prolog, practice on natural language processing and ontologies, and evaluations based on questionnaires before and after the workshop.
منابع مشابه
Davide Ancona
della relazione invitata A framework for data, knowledge, and reasoning: Datalog± . . . . . . . . . . . . . 1 Georg Gottlob Fondamenti e risultati teorici A Diophantine representation of Wolstenholme’s pseudoprimality . . . . . . . 2 Luca Vallata, Eugenio Omodeo A natural sequent calculus for Lewis’ logic of counterfactuals . . . . . . . . . . . 13 Nicola Olivetti, Gian Luca Pozzato Infinite de...
متن کاملUsing Rules to Animate Prolog Programs
The paper provides a methodology to visualize the execution of Prolog programs. Program animation is useful in debugging programs. It could also help beginners to Prolog understand how Prolog works. The provided approach uses Constraint Handling Rules (CHR). The aim of the work is to animate the algorithm implemented by the Prolog program.
متن کاملOr-Parallel Prolog Execution on Clusters of Multicores
Logic Programming languages, such as Prolog, provide an excellent framework for the parallel execution of logic programs. In particular, the inherent non-determinism in the way logic programs are structured makes Prolog very attractive for the exploitation of implicit parallelism. One of the most noticeable sources of implicit parallelism in Prolog programs is or-parallelism. Or-parallelism ari...
متن کاملApproaches for Teaching Prolog to Beginners
Prolog is a very different language compared with procedural or object-oriented languages, and developing a Prolog programming mindset is a challenge for many novices. In this paper, we consider a number of teaching approaches which instructors use to deliver basic ideas about Prolog to novices. We classify these approaches into three categories – “logic based”, “declarative features based” and...
متن کاملAn Or-Parallel Prolog Execution Model for Clusters of Multicores
Logic Programming languages, such as Prolog, offer a great potential for the exploitation of implicit parallelism. One of the most distinguishable sources of implicit parallelism in Prolog programs is orparallelism. Or-parallelism arises from the simultaneous evaluation of a subgoal call against the clauses that match that call. Arguably, or-parallel Prolog systems based on the environment copy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015